Nuprl Definition : grp_op 13,42
* == (g.2.2.2).1 
latex

clarification:

*g == (g.2.2.2).1 
latex

Upgrp sig object directory
Wellformedness Lemmasgrp op wf, grp op wf2
Definitionst.1, t.2

origin